semantic check

This paper explores the semantic consistency problem of UML class diagram, and proposes an approach to automatically check the consistency of a class diagram.

论文研究了UML类图模型的语义一致性问题，提出了一种自动检验类图一致性的方法。

While working in the disconnected mode, you can still check source code for syntax and semantic errors and then connect only to submit a compiled file when you are ready to create the program objects.

当您在非连接模式下工作时，您仍然可以检查源代码的语法与语义错误，然后连接就只是为了提交一个汇编后的文件，这时您已经为创建项目对象做好了准备。

Pattern matching utilizes abstract syntax tree isomorphism algorithm; Pointer semantics determines the semantics of programs through semantic constraints to check out security vulnerabilities; Interprocedural analysis adopts summary-based context sensitive analysis.

模式匹配采用了抽象语法树同构判断算法；指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的；跨过程分析采用基于总结的上下文敏感分析方法。